Merge branch 'option-names' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Tue, 2 Jul 2019 01:28:43 +0000 (01:28 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 2 Jul 2019 01:28:43 +0000 (01:28 +0000)
commit61345b3216b97ff7255be209c7f56daf27e1a66e
tree5f014a90b9848a019e9e5db0ce5af07b7c89323b
parent129691f3a628c2796fb4d367c4479a2c1a973fed
parent4eaf860e8674c6a30385e5eb55bb056bb02560d6
Merge branch 'option-names' into 'master'

meson: Rename documentation option to gtk_doc

See merge request GNOME/gtk!972